Applying the B Formal Method to the Bossa Domain-Specific Language Jean-Paul Bodeveix Mamoun Filali IRIT Universit´e Paul Sabatier {bodeveix,filali}@irit.fr

Source URL: pagesperso-systeme.lip6.fr

• Formal methods
• Applied mathematics
• Process
• Planning
• Process state
• Formal verification
• Blocking
• Domain-specific language
• Formal specification
• Computing
• Concurrent computing
• Scheduling

Resilience Scaling Technologies - Usability Philippe Palanque LIIHS-IRIT Université Paul Sabatier Toulouse – France

Source URL: www.resist-noe.org

• Technical communication
• Design
• User interfaces
• User experience
• Interaction design
• User-centered design
• Usability engineering
• Usability testing
• Usability
• Human–computer interaction
• Human–computer interaction

Vérification automatique de propriétés d’ordonnanceurs Bossa J.-P. Bodeveix, M. Filali IRIT Université Paul Sabatier 118 route de Narbonne FToulouse cedex

Source URL: pagesperso-systeme.lip6.fr

CALL FOR EU PROJECT WORKSHOPS FOR “THE ARES EU PROJECTS SYMPOSIUM” 2015 GENERAL INFORMATION The 10th International Conference on Availability, Reliability and Security (ARES) will be held from[removed]August 2015 at

Source URL: www.ares-conference.eu

• Human spaceflight
• International Conference on Availability
• Reliability and Security
• Ares Galaxy
• Ares
• Shuttle-Derived Launch Vehicle
• Paul Sabatier University
• Paul Sabatier
• Dependability
• Aerial Regional-scale Environmental Survey
• Spaceflight
• Aerospace engineering
• Spacecraft

Suggestion contextuelle composite Thibaut Thonet* — Romain Deveaud** — Iadh Ounis*** — Craig Macdonald*** * IRIT, Université Paul Sabatier, Toulouse, France. [removed] ** Yellow Pages Group, Montréal

Source URL: coria2015.lip6.fr

La prédiction efficace de la difficulté des requêtes : une tâche impossible? Adrian-Gabriel Chifu* — Léa Laporte** — Josiane Mothe*** * IRIT UMR5505, CNRS, Université de Toulouse, Université Paul Sabatier (Fra

Source URL: coria2015.lip6.fr

CO-OPERATIVE AND CONCURRENT BLENDING MOTION GENERATORS Vincent Bonnafous, Eric Menou, Jean-Pierre Jessel, René Caubet IRIT University Paul Sabatier, 118 route de Narbonne[removed]Toulouse

Source URL: wscg.zcu.cz

• Visual arts
• Imaging
• Robot kinematics
• Inverse problems
• Inverse kinematics
• Motion capture
• Animation
• Kinematics
• Skeletal animation
• 3D computer graphics
• Computer graphics
• Computer animation

Some Lower Bounds for the Complexity of Continuation Methods. Jean-Pierre Dedieu * LAO, Universit´e Paul Sabatier[removed]Toulouse Cedex 04, France.

Source URL: www6.cityu.edu.hk

• Complete quotient
• Number theory
• Differential topology
• Orbifold

Organizing Committee Chairs Jon Doyle (North Carolina State University) Judy Goldsmith (University of Kentucky) Ulrich Junker (ILOG) Jérôme Lang (IRIT - Univ. Paul Sabatier)

Source URL: aaai.org

Université Toulouse 1 Capitole Université Toulouse III – Paul Sabatier L3, Sciences de l’information et de la communication

Source URL: www.chronculture.com